移动进程演算中的开互模拟

该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。     

Representing short-term observations of moving objects by a simple visual language

In a variety of dynamical systems, formations of motion patterns occur. Observing colonies of animals, for instance, for the scientist it is not only of interest which kinds of formations these animals show, but also how they altogether move around. In order to analyse motion patterns for the purpose of making predictions, to describe the behaviour of systems, or to index databases of moving objects, methods are required for dealing with them. This becomes increasingly important since a number of technologies have been devised which allow objects precisely to get traced. However, the indeterminacy of spatial information in real world environments also requires techniques to approximate reasoning, for example, in order to compensate for small and unimportant distinctions which are due to noisy measurements. As a consequence, precise as well as coarse motion patterns have to be dealt with.A set of 16 atomic motion patterns is proposed. On the one hand, a relation algebra is defined on them. On the other hand, these 16 relations form the basis of a visual language using which motion patterns can easily be dealt with in a diagrammatic way. The relations are coarse but crisp and they allow imprecise knowledge about motion patterns to be dealt with, while their diagrammatic realisation also allow precise patterns to get handled. While almost all approaches consider motion patterns along arbitrary time intervals, this paper in particular focuses on short-term motion patterns as we permanently observe them in our everyday life.The bottom line of the current work, however, is yet more general. While it has been widely argued that it makes sense to use both sentential and diagrammatic representations in order to represent different things in the same system adequately (and hence differently), we argue that it makes even sense to represent the same things differently in order to grasp different aspects of one and the same object of interest from different viewpoints. We demonstrate this by providing both a sentential and a diagrammatic representation for the purpose of grasping different aspects of motion patterns. It shows that both representations complement each other.     

高阶惯性环节代数等价观测器简易转换方法

为快速计算出代数等价观测器(AEO)的参数对控制系统的影响,基于高阶惯性环节代数等价观测器工程应用的实际,并参照矩阵的Jordan标准型,定义了广义Jordan型矩阵块JBS,通过数学分析给出转换矩阵P的简捷计算方法,为揭示AEO之间的内在关系提供一个有效途径。该方法不仅有助于调节系统的设计,而且通过适当的运用,还能使其达到更加有益的效果。在某电厂600 MW单元机组锅炉过热器蒸汽温度调节系统中的应用案例,证明了所提方法的实用性和有效性。     

A functional presentation of Pi calculus

From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The situation is in contrast to that withlambda calculus which has only one class of entities-the lambda terms. We introduce in this papera process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects-. First it has a unified treatment of channels and processes.There is only one class of syntactical entities-processes. Second it has a unified presentation ofboth first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional. Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide.A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed.     

Hom-余理想的若干性质

根据Hom-结合代数的概念来新定义子Hom-结合代数与Hom-余理想的概念,并进一步讨论子Hom-结合代数、子Hom-余结合余代数与Hom-余理想之间的密切联系。     

高等代数课程教学中问题意识的培养

高等代数课程教学中,可通过营造民主氛围、创设提问环境,丰富认知结构、积淀问题准备,设置问题情境、激发问题意识,注重反思教学、强化问题意识等教学策略,培养学生的问题意识。     

3D Object Recognition Based on Linear Lie Algebra Model

A surface model called the fibre bundle model and a 3D object model based on linear Lie algebra model are proposed.Then an algorithm of 3D object recognition using the linear Lie algebra models is presented.It is a convenient recognition method for the objects which are symmetric about some axis.By using the presented algorithm,the representation matrices of the fibre or the base curve from only finite points of the linear Lie algebra model can be obtained.At last some recognition results of practicalities are given.     

三角代数上恒等算子处的Jordan可导映射

介绍了导子、Jordan可导映射、三角代数的概念,分析讨论了两种映射之间的关系,推导出了三角代数上的每个恒等算子处的Jordan可导映射都是导子的结论。     

矩阵法计算流水施工工期

简要分析了代数法、图上法在计算流水施工工期时存在的不足,提出了用矩阵法计算流水施工工期的方法．设计并分析了计算用表,说明了计算步骤,并用实例进行了验证．     

几何代数及其在摄动Kepler问题中的应用

为避免卫星轨道摄动分析过程中多种代数系统繁琐的相互转换,创新性地引入几何代数系统,在统一的代数框架内研究摄动开普勒问题.利用几何代数体系中的位置空间与旋量空间之间的转换关系,将摄动Kep ler方程转化为线性、正则的旋量方程(简称KS方程),并给出Kep ler旋量方程的解.最后,通过与传统方法比较,说明几何代数这种新工具在卫星轨道运动中应用的独特优势.